#include "WatchDog.h"

void WatchDog_init() {
    rcu_periph_clock_enable(RCU_WWDGT);

    wwdgt_config(127, 80, WWDGT_CFG_PSC_DIV4);
    wwdgt_enable();

}

void WatchDog_feed() {
    wwdgt_counter_update(127);
}
